package se.sics.kompics.tutorial.tutorial3.RIWCM;

import se.sics.kompics.PortType;
import se.sics.kompics.tutorial.tutorial3.RIWCM.event.ReadRequest;
import se.sics.kompics.tutorial.tutorial3.RIWCM.event.ReadResponse;
import se.sics.kompics.tutorial.tutorial3.RIWCM.event.WriteRequest;
import se.sics.kompics.tutorial.tutorial3.RIWCM.event.WriteResponse;

public class AtomicRegister extends PortType {
	{
		indication(ReadResponse.class);
		indication(WriteResponse.class);
		request(ReadRequest.class);
		request(WriteRequest.class);
	}
}
